A Graphical Environment for AUV Mission Programming and Veri cation
نویسندگان
چکیده
One approach for creation of a graphical environment for AUV mission programming and veriication is described in the paper. It is based on a Petri net theory. The results of the AUV mission programming and veriication using the graphical environment are supplemented.
منابع مشابه
The Reference Component of PEP
Bernd Grahlmann ABSTRACT The PEP tool is a Programming Environment based on Petri Nets. Sophisticated programming and veri cation components are embedded in a user-friendly graphical interface. The basic idea is that the programming component allows the user to design concurrent algorithms in an easy-to-use imperative language, and that the PEP system then generates Petri nets from such program...
متن کاملUser Interface
Georgia Tech, as part of DARPA's Tactical Mobile Robotics (TMR) Program, is developing a wide range of mission speci cation capabilities for the urban war ghter. These include the development of a range of easily con gurable mission-speci c robot behaviors suitable for various battle eld and special forces scenarios; communications planning and con guration capabilities for small teams of robot...
متن کاملIntegrated Simulation for Rapid Development of Autonomous Underwater Vehicles
The development and testing of Autonomous Underwater Vehicle (AUV) hardware and software is greatly complicated by vehicle inaccessibility during operation. Integrated simulation remotely links vehicle components and support equipment with graphics simulation workstations, allowing complete real-time, pre-mission, pseudo-mission and post-mission visualization and analysis in the lab environment...
متن کاملTERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems
Term rewriting systems(TRS)[1] can be widely applicable in many areas of computer science such as equational logics, theorem proving, algebraic speci cation, program veri cation, transformation and synthesis, etc. In such applications, an environment for term rewriting with user friendly graphical interface is strongly required for analyzing structure of terms and rewriting processes. Most TRS ...
متن کاملTowards Program Development, Speciication and Veriication with Isabelle
The purpose of this paper is to report on our experiments to use Isabelle a generic theorem prover as a universal environment within which speci cation development and veri cation of imperative programs can be performed The use of a theorem prover for the programming tasks is most appropriate when the processes of program speci cation development and veri cation can be presented as logical acti...
متن کامل